isAllowed('patrol') now returns false if patrolling is disabled
authorAaron Schulz <aaron@users.mediawiki.org>
Sat, 17 Jan 2009 23:32:27 +0000 (23:32 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Sat, 17 Jan 2009 23:32:27 +0000 (23:32 +0000)
commit6fb1c0146d3bbd0c5263d93f38753ddef3dc3f99
tree5e8b9bd5c2454ff8b232a6b550e54cffa6c7ea3a
parent3c68363c2037a67216d5a21fe7b035369bc0b2bc
isAllowed('patrol') now returns false if patrolling is disabled
includes/User.php